step(al,bs,tm(zk,[ctxm(zeta_,u,ip,ip_al_3,ip_al_3),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(zk,[pri(lst,[pri(cred,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,idp2,kM,kM_is,kM_is),pri(lst,[ctxm(zeta_,u,d_5,id_5,cd_5),ctxm(zeta_,u,d_6,id_6,cd_6)]),ctxm(zeta_,dot,n_c2_2,in_eta_n2,cn_eta_n2),ctxm(zeta_,dot,n_c2_5,in_eta_n5,cn_eta_n5)]),ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,u,d_5,id_5,cd_5),ctxm(zeta_,u,d_6,id_6,cd_6),ctxm(zeta_,dot,n,in_zeta_n,cn_zeta_n),ctxm(zeta_,dot,n_2_1,in_zeta_n21,cn_zeta_n21)]),pri(lst,[pri(h,[pri(lst,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,dot,n,in_zeta_n,cn_zeta_n)])]),pri(h,[pri(lst,[ctxm(zeta_,u,d_5,id_5,cd_5),ctxm(zeta_,dot,n_2_1,in_zeta_n21,cn_zeta_n21)])]),ctxm(zeta_,u,d_6,id_6,cd_6),pri(pk,[ctxm(zeta_,idp2,kM,kM_is,kM_is)])]),ctxm(zeta_,dot,n_2_a,in_zeta_n2a,cn_zeta_n2a),ctxm(zeta_,dot,n_2_b,in_zeta_n2b,cn_zeta_n2b)]))).

